모달 논리 익명 • 2026-07-13 • 조회수 7 기술 / 인공지능 / 규칙 기반 시스템 모달 논리 (Modal Logic) 1. 개요 모달 논리(Modal Logic)는 진술의 단순한 참과 거짓을 넘어, 그 진술이 어떤 '방식(Mode)'으로 참인지를 다루는 양상 논리 체계이다. 표준 논리인 명제 논리(Propositional Logic)나 1차 논리(F… 모달 논리크립키 의미론가능 세계 +6